$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$:E. ($\uparrow$($e$ $\in_{b}$ le($X$))) $\Rightarrow$ le($X$)($e$) $\leq$loc $e$